A theorem on $C^*$-embedding
نویسندگان
چکیده
منابع مشابه
A Note on Dilworth's Embedding Theorem
The dimension of a poset X is the smallest positive integer t for which there exists an embedding of X in the cartesian product of t chains. R. P. Dilworth proved that the dimension of a distributive lattice v L = 2_ is the width of X. In this paper we derive an analogous result for embedding distributive lattices in the cartesian product of chains of bounded length. We prove that for each k > ...
متن کاملA subgaussian embedding theorem
We prove a subgaussian extension of a Gaussian result on embedding subsets of a Euclidean space into normed spaces. Using the concentration of a random subgaussian vector around its mean we obtain an isomorphic (rather than almost isometric) result, under an additional cotype assumption on the normed space considered.
متن کاملReflections on Dubinskiĭ’s Nonlinear Compact Embedding Theorem
We present an overview of a result by Yulĭı Andreevich Dubinskĭı [Mat. Sb. 67 (109) (1965); translated in Amer. Math. Soc. Transl. (2) 67 (1968)], concerning the compact embedding of a seminormed set in L(0, T ;A0), where A0 is a Banach space and p ∈ [1, ∞]; we establish a variant of Dubinskĭı’s theorem, where a seminormed nonnegative cone is used instead of a seminormed set; and we explore the...
متن کاملA Survey on Embedding Programming Logics in a Theorem Prover
Theorem provers were also called ’proof checkers’ because that is what they were in the beginning. They have grown powerful, however, capable in many cases to automatically produce complicated proofs. In particular, higher order logic based theorem provers such as HOL and PVS became popular because the logic is well known and very expressive. They are generally considered to be potential platfo...
متن کاملNon - Quasiconvexity Embedding Theorem
We show that if G is a non-elementary torsion-free word hyperbolic group then there exists another word hyperbolic group G, such that G is a subgroup of G but G is not quasiconvex in G.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1978
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1978-0482641-7